latin abstract

Project Abstract: Logic Atlas and Integrator (LATIN)

Development Techniques, Lecture Notes in Computer Science. Springer, 2011. To appear.2. J. Gičeva, C. Lange, and F. Rabe. Integrating Web Services into Active Mathematical Documents. In J. Carette and L. Dixon and C. Sacerdoti Coen and S.Watt, editor, Intelligent Computer Mathematics, volume 5625 of Lecture Notes inComputer Science, pages 279–293. Springer, 2009.3. J. Goguen and...

abstract

ABSTRACT

Abstract

Abstract

Abstract

Abstract

Abstract

Abstract